Functional decomposition - PDFSEARCH.IO - Document Search Engine

Functional decomposition
Results: 190

#	Item
61	DownloadedtoRedistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php SIAM J. SCI. COMPUT. Vol. 36, No. 2, pp. C95–C118 c 2014 Society for Industrial an Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2014-06-25 12:34:56 Numerical linear algebra Singular value decomposition Matrix theory Functional analysis Preconditioner Moore–Penrose pseudoinverse Kernel Conjugate gradient method Orthogonal matrix Algebra Linear algebra Mathematics
62	Revisiting the Nystr¨ om method for improved large-scale machine learning Alex Gittens Dept. of Applied and Computational Math, CalTech, Pasadena CAUSA Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2013-05-09 18:59:22 Matrix theory Numerical linear algebra Functional analysis Singular value decomposition Rank Matrix Algebra Mathematics Linear algebra
63	Nuclear Norm Minimization via Active Subspace Selection Cho-Jui Hsieh Department of Computer Science, The University of Texas, Austin, TX 78721, USA Peder A. Olsen Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-09-16 02:45:15 Matrix theory Numerical linear algebra Functional analysis Mathematical optimization Singular value decomposition Convex optimization Least squares Projection Eigendecomposition of a matrix Algebra Mathematics Linear algebra
64	Discrete Inverse Problems and Fourier Sampling Anna Gilbert Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2014-10-22 20:32:43 Ordinary differential equations Functional analysis Matrix theory Numerical linear algebra Singular value decomposition Normal mode Algebra Mathematics Linear algebra
65	Astronomy & Astrophysics A&A 540, A34[removed]DOI: [removed][removed] Add to Reading List Source URL: jstarck.free.fr Language: English - Date: 2013-01-18 11:59:52 Functional analysis Analytic geometry Helmholtz decomposition Weak gravitational lensing Wavelet Symbol Orthogonal wavelet Divergence Mathematical analysis Vector calculus Mathematics
66	Lecture Schedule Short term course on Modelling and Simulation of Large Scale systems April 13-17, [removed]AM[removed]AM Add to Reading List Source URL: nitsri.net Language: English - Date: 2015-04-06 11:32:13 Functional analysis Linear algebra Matrix theory Singular value decomposition Algebra Mathematics Numerical linear algebra
67	Data-Dependent Fairing of Subdivision Surfaces Ilja Friedel1 Caltech Patrick Mullen2 Microsoft Add to Reading List Source URL: www.multires.caltech.edu Language: English - Date: 2003-04-28 17:28:50 Linear algebra Matrix theory Functional analysis Eigenvalues and eigenvectors Singular value decomposition Calculus of variations Parametric surface Differential geometry of surfaces Distribution Algebra Mathematics Mathematical analysis
68	Validation of Contract Decomposition by Testing Mass Soldal Lund Department of Informatics, University of Oslo, Norway SINTEF Telecom and Informatics, Norway email: [removed] Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-10-15 10:55:59 UML diagrams Science Technology Specification and Description Language Functional testing Unified Modeling Language Specification language Finite-state machine Modeling language Software testing Diagrams Software engineering
69	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics
70	Common Criteria for Information Technology Security Evaluation Part 2: Security functional requirements August 1999 Add to Reading List Source URL: www.niap-ccevs.org Language: English - Date: 2009-10-08 10:40:04 Common Criteria Computer network security Crime prevention National security Action Protection Profile Decomposition XTS-400 Computer security Evaluation Security

UPDATE